problem specification laguage

[电] 问题定义